This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics ...
اقرأ المزيدUlrich Kohlenbach presents an applied form of proof theory that has led in recent years to new results in number theory, ...
اقرأ المزيدIt covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...
اقرأ المزيدIt covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...
اقرأ المزيدThis book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Computational ...
اقرأ المزيدThis book constitutes the refereed proceedings of the Third International Computer Science Symposium in Russia, CSR 2008, ...
اقرأ المزيدThis book constitutes the refereed proceedings of the First International Symposium on Computer Science in Russia, CSR 2006. ...
اقرأ المزيدThis book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...
اقرأ المزيدThis book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...
اقرأ المزيدThis book covers theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal ...
اقرأ المزيدThis book covers theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal ...
اقرأ المزيدThis book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational ...
اقرأ المزيدThis book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational ...
اقرأ المزيدThis book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational ...
اقرأ المزيدETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
اقرأ المزيدConstitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held ...
اقرأ المزيدThis volume contains the papers presented at the 11th International Conference on Logic for Programming, Arti'cial Intelligence, ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial ...
اقرأ المزيدIn the last two decades modal logic has undergone an explosive growth, to thepointthatacompletebibliographyofthisbranchoflogic,supposingthat ...
اقرأ المزيدThis book constitutes the refereed proceedings of the first International Conference on Computability in Europe, CiE 2005, ...
اقرأ المزيد